@book{alma993514013502466,
author = {Habasinski, Z.},
address = {Edinburgh},
booktitle = {On the Blum-Sakoda 7 pebble searching algorithm},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 96-81},
title = {On the Blum-Sakoda 7 pebble searching algorithm / by Z. Habasinski and M. Karpinski.},
year = {1981},
}

@book{alma993514743502466,
author = {Pettorossi, A. (Alberto)},
address = {Edinburgh},
booktitle = {Complete modal theories for verifying communicating agents behaviour in recursive equations programs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 128-83},
title = {Complete modal theories for verifying communicating agents behaviour in recursive equations programs / by A. Pettorossi and A. Skowron.},
year = {1983},
}

@book{alma993514323502466,
author = {Benson, David B.},
address = {Edinburgh},
booktitle = {Counting paths : nondeterminism as linear algebra},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 134-83},
title = {Counting paths : nondeterminism as linear algebra / by David B. Benson.},
year = {1983},
}

@book{alma993514003502466,
author = {Lev, Gavriela.},
address = {Edinburgh},
booktitle = {The size bounds for superconcentrators},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 95-81},
title = {The size bounds for superconcentrators / by G. Lev and L.G. Valiant.},
year = {1981},
}

@book{alma993513693502466,
author = {Barton, E. E.},
address = {Edinburgh},
booktitle = {The polygon package},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 44-79},
title = {The polygon package / by E.E. Barton and I. Buchanan.},
year = {1979},
}

@book{alma993514243502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Families of fixed degree graphs for processor interconnection},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 121-82},
title = {Families of fixed degree graphs for processor interconnection / by Mark Jerrum, Sven Skyum.},
year = {1982},
}

@book{alma993514783502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {A kernel language for algebraic specification and implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 131-83},
title = {A kernel language for algebraic specification and implementation / by Donald Sannella and Martin Wirsing.},
year = {1983},
}

@book{alma993514253502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {CIRCAL : a calculus for circuit description},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 122-82},
title = {CIRCAL : a calculus for circuit description / by George J. Milne.},
year = {1982},
}

@book{alma993513943502466,
author = {Jensen, Finn V.},
address = {Edinburgh},
booktitle = {Inductive inference in reflexive domains},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 86-81},
title = {Inductive inference in reflexive domains / by Finn V. Jensen.},
year = {1981},
}

@book{alma993513963502466,
address = {Edinburgh},
booktitle = {GOTOs : a study in the algebraic specification of programming languages},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 89-81},
title = {GOTOs : a study in the algebraic specification of programming languages / by M. Broy [and others].},
year = {1981},
}

@book{alma993513853502466,
author = {Hughes, J. Gordon.},
address = {Edinburgh},
booktitle = {The EDWIN user's guide},
edition = {Third edition.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 74-80},
title = {The EDWIN user's guide / by J. Gordon Hughes.},
year = {1980},
}

@book{alma993968363502466,
author = {Henderson, Leslie Ann.},
address = {Edinburgh},
booktitle = {Efficient algorithms for listing unlabeled graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 7-90},
title = {Efficient algorithms for listing unlabeled graphs / by Leslie Ann Henderson.},
year = {1990},
}

@book{alma993968373502466,
author = {Ross, George D. M.},
address = {Edinburgh},
booktitle = {Guide to the X window system : version 11 ; release 4},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 5-90},
title = {Guide to the X window system : version 11 ; release 4 / by George D.M. Ross.},
year = {1990},
}

@book{alma993257833502466,
author = {Sinclair, Alistair.},
address = {Edinburgh},
booktitle = {Approximate counting, uniform generation and rapidly mixing Markov chains},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 241-87},
title = {Approximate counting, uniform generation and rapidly mixing Markov chains / by Alistair Sinclair and Mark Jerrum.},
year = {1987},
}

@book{alma993257843502466,
author = {Kean, Thomas Andrew.},
address = {Edinburgh},
booktitle = {Configurable logic : an approach to the rapid implementation of ASIC's},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 234-87},
title = {Configurable logic : an approach to the rapid implementation of ASIC's / by Tom Kean and Genbao Feng.},
year = {1987},
}

@book{alma993257943502466,
author = {Marshall, Richard Millar.},
address = {Edinburgh},
booktitle = {OC : a portable Occam compiler ; first pass},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 201-86},
title = {OC : a portable Occam compiler ; first pass / by Richard M. Marshall.},
year = {1986},
}

@book{alma993257603502466,
author = {Brebner, Gordon.},
address = {Edinburgh},
booktitle = {The evolution of the Fred machine},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 246-87},
title = {The evolution of the Fred machine / by Gordon Brebner and Fred King.},
year = {1987},
}

@book{alma993258303502466,
author = {Marshall, Richard Millar.},
address = {Edinburgh},
booktitle = {IE : the reference manual},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 194-85},
title = {IE : the reference manual / by Richard M. Marshall.},
year = {1985},
}

@book{alma993257883502466,
author = {Johnston, Stuart G.},
address = {Edinburgh},
booktitle = {Graphical display of a concurrent device simulation using CIRCAL},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 204-86},
title = {Graphical display of a concurrent device simulation using CIRCAL / by Stuart G. Johnston.},
year = {1986},
}

@book{alma993258213502466,
author = {Blake, Andrew.},
address = {Edinburgh},
booktitle = {Weak continuity constraints in computer vision},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 197-86},
title = {Weak continuity constraints in computer vision / by Andrew Blake and Andrew Zisserman.},
year = {1986},
}

@book{alma993903353502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Polynomial-time approximation algorithms for the Ising model},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 1-90},
title = {Polynomial-time approximation algorithms for the Ising model / by Mark Jerrum and Alistair Sinclair.},
year = {1990},
}

@book{alma994098013502466,
author = {Henderson, Leslie Ann.},
address = {Edinburgh},
booktitle = {Automating Pólya theory : the computational complexity of the cycle index polynomial},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 8-90},
title = {Automating Pólya theory : the computational complexity of the cycle index polynomial / by Leslie Ann Henderson.},
year = {1990},
}

@book{alma993425483502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {Scheduling within a process model of computation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 32-78},
title = {Scheduling within a process model of computation / by George J. Milne.},
year = {1978},
}

@book{alma993425383502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Negation can be exponentially powerful},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 39-79},
title = {Negation can be exponentially powerful / by Leslie G. Valiant.},
year = {1979},
}

@book{alma993424973502466,
author = {Buchanan, Irene.},
address = {Edinburgh},
booktitle = {Models for structured integrated circuit design},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 48-79},
title = {Models for structured integrated circuit design / by I. Buchanan and J.P. Gray.},
year = {1979},
}

@book{alma993425503502466,
author = {Giles, David A.},
address = {Edinburgh},
booktitle = {The theory of LISTS in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 31-78},
title = {The theory of LISTS in LCF / by David A. Giles.},
year = {1978},
}

@book{alma993424673502466,
author = {Adams, John Colin.},
address = {Edinburgh},
booktitle = {EMAS performance measurement experiments using a remote terminal emulator},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 57-80},
title = {EMAS performance measurement experiments using a remote terminal emulator / J.C. Adams and A.S. Wight.},
year = {1980},
}

@book{alma993425403502466,
author = {Saheb-Djahromi, N.},
address = {Edinburgh},
booktitle = {Probabilistic CPO's for nondeterminism},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 37-79},
title = {Probabilistic CPO's for nondeterminism / by N. Saheb-Djahromi.},
year = {1979},
}

@book{alma995599553502466,
author = {Robertson, Peter S.},
address = {Edinburgh},
booktitle = {The IMP-77 language : a reference manual},
edition = {First edition: November 1977, Second edition: April 1979, Third edition: November 1980.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 19-77},
title = {The IMP-77 language : a reference manual / as implemented by Peter S. Robertson.},
year = {1977},
}

@misc{alma996764613502466,
author = {Russo, Claudio V.},
address = {Edinburgh},
booktitle = {Types for modules},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 143-98},
title = {Types for modules / by Claudio V. Russo.},
year = {1998},
}

@misc{alma996764633502466,
author = {Ling, Budi Halim.},
address = {Edinburgh},
booktitle = {Applicative notions in ML-like programs},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 144-98},
title = {Applicative notions in ML-like programs / by Budi Halim Ling.},
year = {1998},
}

@misc{alma996764683502466,
author = {Barber, Andrew Graham.},
address = {Edinburgh},
booktitle = {Linear type theories, semantics and action calculi},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 137-97},
title = {Linear type theories, semantics and action calculi / by Andrew Graham Barber.},
year = {1997},
}

@book{alma998980823502466,
author = {Abramsky, Samson},
address = {Edinburgh},
booktitle = {Fully complete models for ML polymorphic types},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 99-414},
title = {Fully complete models for ML polymorphic types / Samson Abramsky and Marina Lenisa.},
year = {1999},
}

@book{alma9912589443502466,
author = {Adams, John Colin.},
address = {Edinburgh},
booktitle = {Performance measurement on the Edinburgh Multi-Access System},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 7},
title = {Performance measurement on the Edinburgh Multi-Access System / J.C. Adams, G.E. Willard.},
year = {1977},
}

@book{alma9912589303502466,
author = {Whitfield, H.},
address = {Edinburgh},
booktitle = {EMAS : the Edinburgh Multi-Access System},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 1},
title = {EMAS : the Edinburgh Multi-Access System / H. Whitfield and A.S. Wight.},
year = {1977 - 1973},
}

@book{alma993424033502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {The complexity of enumeration and reliability problems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 15-77},
title = {The complexity of enumeration and reliability problems / by Leslie G. Valiant.},
year = {1977},
}

@book{alma993423933502466,
author = {Ritchie, Graeme D.},
address = {Edinburgh},
booktitle = {Augmented transition network grammars and semantic processing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 20-78},
title = {Augmented transition network grammars and semantic processing / by Graeme D. Ritchie.},
year = {1978},
}

@book{alma993423633502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {Programming languages and databases},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 26-78},
title = {Programming languages and databases / by Malcolm P. Atkinson.},
year = {1978},
}

@book{alma993424053502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {The complexity of computing the permanent},
edition = {Revised edition.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 14-77},
title = {The complexity of computing the permanent / by Leslie G. Valiant.},
year = {1977},
}

@book{alma993424263502466,
author = {Casey, Liam Maurice.},
address = {Edinburgh},
booktitle = {A domain structure for distributed computer systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 8-77},
title = {A domain structure for distributed computer systems / by L. Casey and N. Shelness.},
year = {1977},
}

@book{alma993424073502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Graph-theoretic arguments in low-level complexity},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 13-77},
title = {Graph-theoretic arguments in low-level complexity / by Leslie G. Valiant.},
year = {1977},
}

@book{alma993423553502466,
author = {Dewar, Hamish.},
address = {Edinburgh},
booktitle = {HAL 70 : a high level assembly language for Interdata series 70 mini-computers},
edition = {Third edition / revised by Jeffrey Tansley.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 29-78},
title = {HAL 70 : a high level assembly language for Interdata series 70 mini-computers / by Hamish Dewar.},
year = {1978},
}

@book{alma993424623502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Some exact complexity results for straight-line computations over semirings},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 58-80},
title = {Some exact complexity results for straight-line computations over semirings / by Mark Jerrum and Marc Snir.},
year = {1980},
}

@book{alma993423603502466,
author = {Casey, Liam Maurice.},
address = {Edinburgh},
booktitle = {On kernels for distributed computer systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 27-78},
title = {On kernels for distributed computer systems / by Liam Maurice Casey.},
year = {1978},
}

@book{alma993258973502466,
author = {Deas, Alexander Roger.},
address = {Edinburgh},
booktitle = {An extremal connectivity metric for partitioning VLSI designs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 183-85},
title = {An extremal connectivity metric for partitioning VLSI designs / by Alex R. Deas.},
year = {1985},
}

@book{alma993259383502466,
author = {Costa, Gerardo.},
address = {Edinburgh},
booktitle = {Weak and strong fairness in CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 167-85},
title = {Weak and strong fairness in CCS / by Gerardo Costa and Colin Stirling.},
year = {1985},
}

@book{alma993258963502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Specifications in an arbitrary institution},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 184-85},
title = {Specifications in an arbitrary institution / by Donald Sannella and Andrzej Tarlecki.},
year = {1985},
}

@book{alma993258923502466,
author = {Blake, Andrew.},
address = {Edinburgh},
booktitle = {Using weak continuity constraints : what they are, and how they do it},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 186-85},
title = {Using weak continuity constraints : what they are, and how they do it / by A. Blake and A. Zisserman.},
year = {1985},
}

@book{alma993259253502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {On observational equivalence and algebraic specification},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 172-84},
title = {On observational equivalence and algebraic specification / by Donald Sannella and Andrzej Tarlecki.},
year = {1984},
}

@book{alma993259423502466,
author = {Cole, Murray Irwin.},
address = {Edinburgh},
booktitle = {Partitioning programmable logic arrays},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 166-84},
title = {Partitioning programmable logic arrays / by Murray I. Cole.},
year = {1984},
}